DEFINABLE HENSELIAN VALUATION RINGS
نویسندگان
چکیده
منابع مشابه
Definable Henselian Valuation Rings
We give model theoretic criteria for the existence of∃∀ and∀∃formulas in the ring language to define uniformly the valuation rings O of models (K,O) of an elementary theory Σ of henselian valued fields. As one of the applications we obtain the existence of an ∃∀-formula defining uniformly the valuation rings O of valued henselian fields (K,O) whose residue class field k is finite, pseudofinite,...
متن کاملExistential ∅-Definability of Henselian Valuation Rings
In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series F [[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields. §
متن کاملPseudo-almost valuation rings
The aim of this paper is to generalize thenotion of pseudo-almost valuation domains to arbitrary commutative rings. It is shown that the classes of chained rings and pseudo-valuation rings are properly contained in the class of pseudo-almost valuation rings; also the class of pseudo-almost valuation rings is properly contained in the class of quasi-local rings with linearly ordere...
متن کاملUniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
We give a de nition, in the ring language, of Zp inside Qp and of Fp[[t]] inside Fp((t)), which works uniformly for all p and all nite eld extensions of these elds, and in many other Henselian valued elds as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modi cation of the language of Macintyre. Furthermore, we show the negative result th...
متن کاملAlmost valuation rings
The aim of this paper is to generalize the notion of almost valuation domains to arbitrary commutative rings. Also, we consider relations between almost valuation rings and pseudo-almost valuation rings. We prove that the class of almost valuation rings is properly contained in the class of pseudo-almost valuation rings. Among the properties of almost valuation rings, we sh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2015
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2014.52